classical mathematical logic - Spanish English Dictionary